var searchData=
[
  ['terminate',['terminate',['../kernel_8h.html#a5354b26c0e92bc241bbaf8daedc5a28c',1,'kernel.c']]],
  ['ticks',['ticks',['../kernel_8h.html#ac8ec696caa3fec38a393173591ab4cac',1,'kernel.c']]]
];
